Borel Cross-Sections and Maximal Invariants
نویسندگان
چکیده
منابع مشابه
Borel summation of adiabatic invariants
Borel summation techniques are developed to obtain exact invariants from formal adiabatic invariants (given as divergent series in a small parameter) for a class of differential equations, under assumptions of analyticity of the coefficients; the method relies on the study of associated partial differential equations in the complex plane. The type and location of the singularities of these asso...
متن کاملCross Sections of Borel Flows with Restrictions on the Distance Set
Given a set of positive reals, we provide a necessary and sufficient condition for a free Borel flow to admit a cross section with all distances between adjacent points coming from this set.
متن کاملBorel cardinals and Ramsey ultrafilters (draft of Sections 1-3)
This is a draft of the first three sections of a paper in preparation in which we study cardinality of Borel quotients in extensions of determinacy models by the forcing P(ω)/Fin.
متن کاملMaximal and Compositional Pattern-Based Loop Invariants
We present a novel approach for the automatic generation of inductive loop invariants over loops manipulating arrays. Unlike most existing approaches, it generates invariants containing disjunctions and quantifiers, which are rich enough for proving functional properties over programs which manipulate arrays. Our approach does not require the user to provide initial assertions or postconditions...
متن کاملMaximal Sections and Centrally Symmetric Bodies
Let d ≥ 2 and let K ⊂ R be a convex body containing the origin 0 in its interior. Let, for each direction ω, the (d − 1)–volume of the intersection of K and an arbitrary hyperplane with normal ω attain its maximum if the hyperplane contains 0. Then K is symmetric about 0. The proof uses a linear integro–differential operator on S, whose null–space needs to be, and will be determined.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Annals of Statistics
سال: 1976
ISSN: 0090-5364
DOI: 10.1214/aos/1176343585